Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
191	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2008-01-18 08:51:04 Mathematics Μ operator Symbol Well-formed formula Boolean satisfiability problem Model theory Linear temporal logic Theoretical computer science Logic Metalogic
192	PROCEEDINGS Positivity IV - Theory and Applications Dresden (Germany), [removed]Boolean Valued Analysis and Positivity A. G. Kusraev and S. S. Kutateladze (Russia) Abstract. This is an overview of the recent results Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:07:35 Forcing Boolean algebra Algebraic structures Boolean-valued model Model theory Function Symbol Functor Universal property Mathematics Mathematical logic Mathematical analysis
193	arXiv:0711.0484v2 [math.DS] 5 Nov[removed]IDEMPOTENT ULTRAFILTERS AND POLYNOMIAL RECURRENCE CHRISTIAN SCHNELL Abstract. We give a new proof of a polynomial recurrence result due to Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-14 04:18:56 General topology Non-standard analysis Ultrafilter Stone–Čech compactification Idempotence Filter Projection Constructible universe Boolean-valued model Mathematics Topology Order theory
194	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
195	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
196	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
197	UNIVERSAL ALGEBRA Jaroslav Jeˇzek First edition, April 2008 Contents Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 11:15:48 Algebraic structures Lattice theory Boolean algebra Predicate logic Abstract algebra Universal algebra Distributive lattice Model theory Representation theory Mathematics Mathematical logic Logic
198	A SURVEY OF RANKING THEORY Wolfgang Spohn Fachbereich Philosophie Universität Konstanz[removed]Konstanz Germany Add to Reading List Source URL: www.uni-konstanz.de Language: English - Date: 2015-01-27 09:49:38 Probability theory Boolean algebra Function Complete Boolean algebra Dempster–Shafer theory Model theory Moment Exponentiation Cardinal number Mathematics Mathematical logic Large cardinals
199	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2009-10-20 18:53:39 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
200	Microsoft PowerPoint - Vorlesung BDD.ppt [Read-Only] [Compatibility Mode] Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2011-05-13 17:35:10 Binary decision diagram Diagrams Model checking Ethics Risk Reliability engineering Boolean algebra Management Design

UPDATE